formal logic

1. You arrived at your conclusion using the methods of formal logic.
   你这个结论是按照形式逻辑的方法推论出来的。
2. An additional fault in the way in which formal logic conceives the judgment is, that it makes the judgment look as if it were something merely contingent, and does not offer any proof for the advance from notion on to judgment.
   形式逻辑对于判断的通常看法还有一个缺点，按照这种逻辑，判断一般好象仅只是一个偶然的东西，而从概念到判断的进展过程也没有得到证明。
3. The answer is that, great as the interval is between the speculative notion and the notion of formal logic, a closer examination shows that the deeper meaning is not so foreign to the general usages of language as it seems at first sight.
   对这问题可以这样回答：形式逻辑的概念与思辩的概念的距离虽然很大，但细加考察，即可看出概念较为深刻的意义，并不象初看起来那样太与普通语言的用法相疏远。
4. Knowledge worker can be defined as someone who is engaging in knowledge work in accordance with the way of "genus and differentia" according to the formal logic.
   知识工作者可以按照形式逻辑中类与种差的方式定义为“从事知识性工作的人”；
5. Therefore, the training of formal logic thinking is a necessity in the teaching of the Western Economics.
   因此，在西方经济学教学中，加强大学生的形式逻辑思维培养训练实属必要。
6. A part from the two tendencies mentioned above, there was still another proposition that there was no logic in ancient China and that the absence of the formal logic exactly meant the vacuum of logic.
   除此之外，还有一种观点则是否定中国古代逻辑的存在性，认为其没有形式逻辑也就没有逻辑。
7. The paper analyzes the concept of state-owned economy with formal logic and holds that the state-owned economy is an economic form in which the economic resources are possessed by the state.
   文章从形式逻辑角度对国有经济的概念作了辩析，认为国有经济是资源归国家所有的经济形式。
8. Formal logic proposed the relation of inverse proportion between the intension and extension of the concept, but Dialectical logic proposed the direct proportion one.
   形式逻辑提出概念的内涵和外延之间具有反变关系，辩证逻辑则认为概念的内涵和外延之间还有正变关系。
9. The doctrine of characteristic performance which is born in Europe represents the achievement arising from European jurists'emphasis on formal logic.
   特征性履行方法发轫于欧洲，是欧洲法学家注重形式逻辑研究方式的成果体现。
10. Research of Formal Logic Application to the Scientific Management
    形式逻辑基础理论在科技管理中的应用初探
11. Formal logic is the study of inference with purely formal content, where that content is made explicit.
    形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。
12. There have been many different methods of art classification in the history, but most of them were resulted from the thinking pattern of formal logic.
    摘要在艺术分类史上，艺术分类方法多种多样，但大多数都是停留在形式逻辑的思考水平上。
13. This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.
    这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。
14. The Formal Logic itself confirms this assumption by laying down the supreme law of thought ( so-called) which has been discussed above.
    在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。
15. Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
    法律逻辑不仅运用形式逻辑的知识，还运用辩证逻辑的知识，以及语言逻辑，论辩逻辑等逻辑知识。
16. Initialsets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.
    最初套设计模式，风格，最佳做法，描述语言，并制定了形式逻辑在这段时间里。
17. With Aristotle's theory of fallacy as the starting point, the relation between modern formal logic and informal logic is discussed from the perspective of methodology.
    《前分析篇》中所体现的特点正是要以明确谬误研究中的逻辑因素。
18. Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.
    最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。
19. Hence mathematic logic which based on the material implication is absolutely neither the contemporary development of traditional logic nor the contemporary formal logic.
    基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
20. The means to understand the paradigm are five as follows: the dialogique escapes of the weakness of formal logic as a new rule to cognition, containing benefits of formal logic and dialectical logic;
    复杂范式方法有五个：两重性逻辑是针对形式逻辑无法激发思维的创造性、辩证逻辑逃避了形式逻辑的检验的缺点而提出的新的认识原则，具有形式逻辑与辩证思维的长处；
21. However, it is important for you to realize that these questions do not rely on any kind of formal logic, nor do they require that you be familiar with specific terms of logic or argumentation.
    然而，对你来说非常重要的是你必须明白，这类问题既不需要你依赖于任何规整的逻辑，也不需要你了解逻辑和论证方面的专门术语。
22. These research and the creation of formal logic as a science in the development is an important stage.
    这些形式化的创立和研究在逻辑作为一门科学的发展中是一个重要的阶段。
23. Therefore, it is a common-sense error to attempt to reform or replace traditional formal logic with mathematical logic.
    因此，用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误。
24. A graphical representation of a program using formal logic.
    应用形式逻辑来图示一个程序。
25. The development of formal logic and its implementation in computing machinery is fundamental to computer science.
    发展形式逻辑和其执行情况的计算机是计算机科学的基础。
26. Social Exam and Teaching Reform of Formal Logic for Non-philosophy Major in University
    社会考试与高校非哲学专业《形式逻辑》教学改革
27. Formal logic analysis system.
    形式化逻辑分析方法。
28. Aggregate concept and non-aggregate concept have always been a difficult problem for the research and teaching of formal logic.
    集合概念和非集合概念一直是形式逻辑研究与教学的一个难点问题。
29. Deductive reasoning, inductive reasoning, and analogical reasoning all belong to the reasoning methods of formal logic.
    演绎推理、归纳推理和类比推理都是形式逻辑的推理方法。

noun

1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

   Synonym:    symbolic logicmathematical logic